number system remainder theorem